mutual implication

互蕴涵